<HTML><HEAD><TITLE>polydenorm(?NormPoly, -Expression)</TITLE>
</HEAD><BODY>[ <A HREF="index.html">library(linearize)</A> | <A HREF="../../index.html">Reference Manual</A> | <A HREF="../../fullindex.html">Alphabetic Index</A> ]
<H1>polydenorm(?NormPoly, -Expression)</H1>
Convert a polynomial form back to a standard arithmetic expression
<DL>
<DT><EM>NormPoly</EM></DT>
<DD>Normalized polynomial form
</DD>
<DT><EM>Expression</EM></DT>
<DD>Arithmetic expression with constants and variables
</DD>
</DL>
<H2>Examples</H2>
<PRE>
    ?- polynorm(2*5 + 3*(X+5*Y+7)*Z, Poly, []), polydenorm(Poly, Expr).
    X = X
    Y = Y
    Z = Z
    Poly = [[[10]], [[21, Z]], [[3, X, Z], [15, Y, Z]]]
    Expr = 10 + 21 * Z + 3 * X * Z + 15 * Y * Z
    yes.
    </PRE>
<H2>See Also</H2>
<A HREF="../../lib/linearize/polyrenorm-2.html">polyrenorm / 2</A>, <A HREF="../../lib/linearize/polynorm-3.html">polynorm / 3</A>
</BODY></HTML>
